- 定理证明程序
- theorem: n. 1.(能证明的)一般原理，公理，定律，法则。 2. ...
- prover: n. 1.试验装置。 2.【印刷】打校样的工人。 3.〔 ...
- boyermoore theorem prover: 博耶穆尔定理证明程序
- first-order theorem prover: 一阶定理证明器
- prover: n. 1.试验装置。 2.【印刷】打校样的工人。 3.〔古语〕证明者。
下载手机词典可随时随地查词查翻译
theorem prover中文什么意思
- 定理证明程序
下载手机词典可随时随地查词查翻译
相关词汇
相邻词汇
- theorem of virtual displacement 什么意思
- theorem of virtual work 什么意思
- theorem on addition of probabilities 什么意思
- theorem on embedding 什么意思
- theorem on friends and strangers 什么意思
- theorem proving 什么意思
- theorem proving machine 什么意思
- theorem proving representation 什么意思
- theorem proving technique 什么意思
- theorem work-energy 什么意思